সেট প্রক্রিয়া সংক্রান্ত আরো কতিপয় প্রতিজ্ঞা
ক) যেকোনো সেট হলে ।
খ) ফাঁকা সেট যেকোনো সেট এর উপসেট।
গ) ও যেকোনো সেট হলে হবে যদি ও কেবল যদি এবং হয়।
ঘ) যদি হয়, তবে ।
ঙ) যদি এবং তবে, ।
চ) ও যেকোনো সেট হলে, এবং ।
ছ) ও যেকোনো সেট হলে, এবং ।
প্রমাণ: কেবল দুইটি প্রতিজ্ঞার প্রমাণ দেওয়া হয়েছে। অন্যগুলো নিজে কর।
ঘ) দেওয়া আছে, , আবার আমরা জানি, । সুতরাং ।
ছ) সেট সংযোগের সংজ্ঞানুযায়ী, সেটের সকল উপাদান সেটে থাকে। সুতরাং উপসেটের সংজ্ঞানুযায়ী । একই যুক্তিতে ।